Free variables and bound variables - PDFSEARCH.IO - Document Search Engine

Free variables and bound variables
Results: 147

#	Item
21	Optimizing Closures in O(0) time Andrew W. Keep Alex Hearn R. Kent Dybvig Add to Reading List Source URL: users-cs.au.dk Language: English - Date: 2012-09-08 07:07:18 Software engineering Computing Computer programming Subroutines Lambda calculus Data types Type theory Functional programming Closure Scope Free variables and bound variables Lambda lifting
22	Scala for TAPL’ers Part 2 Ilya Sergey Substitutions vs Closures Parsing Add to Reading List Source URL: ilyasergey.net Language: English - Date: 2016-03-01 06:31:32 Software engineering Computing Computer programming Lambda calculus Automated theorem proving Logic programming Subroutines Logic in computer science Substitution Closure Free variables and bound variables Term
23	Abstract syntax for variable binders: An overview Dale Miller Department of Computer Science and Engineering 220 Pond Laboratory, The Pennsylvania State University University Park, PAUSA Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2014-11-03 10:29:10 Lambda calculus Logic programming Type theory Predicate logic ΛProlog Unification Free variables and bound variables Simply typed lambda calculus Higher-order abstract syntax Logic Mathematics Theoretical computer science
24	Binding Logi : proofs and models Gilles Dowek1 , Therese Hardin2 , and Claude Kir hner3 1 3 Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2011-01-28 11:35:50 Metalogic Model theory Predicate logic Structure Free variables and bound variables FO Arity Mathematics Universal algebra Mathematical logic
25	The Call-by-need Lambda Calculus, Revisited Stephen Chang and Matthias Felleisen College of Computer Science Northeastern University Boston, Massachusetts, USA { stchang \| matthias } @ ccs.neu.edu Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2012-08-23 01:51:44 Theoretical computer science Lambda calculus Computability theory Evaluation strategy Calculus Free variables and bound variables Function Parameter Algorithm Mathematics Mathematical logic Applied mathematics
26	ProcInternational Conference on Logic Programming, pp. 631–645, MIT Press. Using Attributed Variables in the Implementation of Concurrent and Parallel Logic Programming Systems1 Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2003-02-05 05:51:42 Constraint programming Logic programming Programming paradigms Actor model Prolog Constraint logic programming Unification Variable Free variables and bound variables Software engineering Computing Computer programming
27	GT-VC 2005 Preliminary Version Bigraphical Semantics of Higher-Order Mobile Embedded Resources with Local Names 1 Mikkel Bundgaard 2 Thomas Hildebrandt 3 Department of Theoretical Computer Science Add to Reading List Source URL: www.itu.dk Language: English - Date: 2009-02-19 09:48:16 Computer science Logic Predicate logic Process calculi Π-calculus Lambda calculus Explicit substitution Free variables and bound variables Symbol Theoretical computer science Mathematics Applied mathematics
28	Randomized Testing in PLT Redex Casey Klein Robert Bruce Findler University of Chicago Add to Reading List Source URL: www.eecs.northwestern.edu Language: English - Date: 2009-07-24 12:05:06 Lisp programming language Logic in computer science Programming language semantics Reduction strategy Predicate logic Operational semantics Robert Bruce Findler Free variables and bound variables Eval Programming language theory Software engineering Computing
29	Coordination Logi ? Bernd Finkbeiner1 and Sven S hewe2 1 Universitat des Saarlandes University of Liverpool Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2010-08-16 15:28:31 Logi Realizability Mathematics Logic Abstraction Linear temporal logic Temporal logic Free variables and bound variables
30	A Fundamental Flaw In An Incompleteness Proof By Swierczkowski Add to Reading List Source URL: www.jamesrmeyer.com Language: English - Date: 2015-05-02 09:47:34 Predicate logic Model theory Elementary mathematics Semantics Function Quantification Free variables and bound variables Expression Interpretation Mathematics Logic Mathematical logic